Its what I heard, can't confirm it completely myself. I think most assumed cramps from the way it looked and because of the way he came off near the end of the 1st half.